// #include<stdio.h>
// int CountNum(int i,int j)
// {
//     if(i==j)
//     {
//         return 1;
//     }
//     if(i<=9&&i!=j)
//     {
//         return 0;
//     }
//     int count = 0;
//     while(i>9)
//     {
//         if(i%10==j)
//         {
//             count++;
//         }
//         i = i/10;
//         if(i<=9&&i==j)
//         {
//             count++;
//         }
//     }
//     return count;
// }
// int main()
// {
//     int i = 0;
//     scanf("%d",&i);
//     int j = 0;
//     for(j=0;j<=9;j++)
//     {
//         int count =CountNum(i,j);
//         if(count==0)
//         {
//             continue;
//         }
//         printf("%d:%d\n",j,count);
//     }
//     return 0;
// }

//考虑到位数不超过1000，是很大的数字时，尝试用数组解决
#include<stdio.h>
int CountNum(char* arr,int j)
{
    int count = 0;
    int i = 0;
    for(i=0;i<1000;i++)
    {
        if(*arr==(j+'0'))
        {
            count++;
        }
        arr++;
    }
    return count;
}
int main()
{
    char arr[1000]="0";
    int j = 0;
    scanf("%s",arr);
    for(j=0;j<=9;j++)
    {
        int count =CountNum(arr,j);
        if(count==0)
        {
            continue;
        }
        printf("%d:%d\n",j,count);
    }
    return 0;
}